propositional tree
英 [ˌprɒpəˈzɪʃən(ə)l triː]
美 [ˌprɑpəˈzɪʃən(ə)l triː]
网络 命题树
双语例句
- N this paper, a new method for theorem proving of PTL ( propositional temporal logic) based on constructing semantic refutation tree is presented.
本文通过对近10年命题时态逻辑定理证明方法的研究，提出了一种新的证明方法，前人的工作基于对公式的现时部分和后时部分的分解，本文的工作是基于语义反驳树构造。